Optimal. Leaf size=122 \[ -\frac{3 \tan ^{-1}\left (\frac{\sqrt{c} \tan (e+f x)}{\sqrt{2} \sqrt{c-c \sec (e+f x)}}\right )}{4 \sqrt{2} a c^{3/2} f}-\frac{3 \tan (e+f x)}{4 a f (c-c \sec (e+f x))^{3/2}}+\frac{\tan (e+f x)}{f (a \sec (e+f x)+a) (c-c \sec (e+f x))^{3/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.210511, antiderivative size = 122, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 4, integrand size = 34, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.118, Rules used = {3960, 3796, 3795, 203} \[ -\frac{3 \tan ^{-1}\left (\frac{\sqrt{c} \tan (e+f x)}{\sqrt{2} \sqrt{c-c \sec (e+f x)}}\right )}{4 \sqrt{2} a c^{3/2} f}-\frac{3 \tan (e+f x)}{4 a f (c-c \sec (e+f x))^{3/2}}+\frac{\tan (e+f x)}{f (a \sec (e+f x)+a) (c-c \sec (e+f x))^{3/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3960
Rule 3796
Rule 3795
Rule 203
Rubi steps
\begin{align*} \int \frac{\sec (e+f x)}{(a+a \sec (e+f x)) (c-c \sec (e+f x))^{3/2}} \, dx &=\frac{\tan (e+f x)}{f (a+a \sec (e+f x)) (c-c \sec (e+f x))^{3/2}}+\frac{3 \int \frac{\sec (e+f x)}{(c-c \sec (e+f x))^{3/2}} \, dx}{2 a}\\ &=-\frac{3 \tan (e+f x)}{4 a f (c-c \sec (e+f x))^{3/2}}+\frac{\tan (e+f x)}{f (a+a \sec (e+f x)) (c-c \sec (e+f x))^{3/2}}+\frac{3 \int \frac{\sec (e+f x)}{\sqrt{c-c \sec (e+f x)}} \, dx}{8 a c}\\ &=-\frac{3 \tan (e+f x)}{4 a f (c-c \sec (e+f x))^{3/2}}+\frac{\tan (e+f x)}{f (a+a \sec (e+f x)) (c-c \sec (e+f x))^{3/2}}-\frac{3 \operatorname{Subst}\left (\int \frac{1}{2 c+x^2} \, dx,x,\frac{c \tan (e+f x)}{\sqrt{c-c \sec (e+f x)}}\right )}{4 a c f}\\ &=-\frac{3 \tan ^{-1}\left (\frac{\sqrt{c} \tan (e+f x)}{\sqrt{2} \sqrt{c-c \sec (e+f x)}}\right )}{4 \sqrt{2} a c^{3/2} f}-\frac{3 \tan (e+f x)}{4 a f (c-c \sec (e+f x))^{3/2}}+\frac{\tan (e+f x)}{f (a+a \sec (e+f x)) (c-c \sec (e+f x))^{3/2}}\\ \end{align*}
Mathematica [C] time = 1.43111, size = 183, normalized size = 1.5 \[ \frac{e^{-\frac{1}{2} i (e+f x)} \csc (e+f x) \left (\cos \left (\frac{1}{2} (e+f x)\right )+i \sin \left (\frac{1}{2} (e+f x)\right )\right ) \left (-8 (\cos (e+f x)-3)+\frac{6 \sqrt{2} e^{-i (e+f x)} \left (-1+e^{i (e+f x)}\right )^2 \left (1+e^{i (e+f x)}\right ) \tanh ^{-1}\left (\frac{1+e^{i (e+f x)}}{\sqrt{2} \sqrt{1+e^{2 i (e+f x)}}}\right )}{\sqrt{1+e^{2 i (e+f x)}}}\right )}{32 a c f \sqrt{c-c \sec (e+f x)}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.21, size = 266, normalized size = 2.2 \begin{align*}{\frac{ \left ( -1+\cos \left ( fx+e \right ) \right ) ^{2}}{2\,fa \left ( \sin \left ( fx+e \right ) \right ) ^{3}} \left ( \cos \left ( fx+e \right ) \left ( -2\,{\frac{\cos \left ( fx+e \right ) }{1+\cos \left ( fx+e \right ) }} \right ) ^{{\frac{5}{2}}}+ \left ( -2\,{\frac{\cos \left ( fx+e \right ) }{1+\cos \left ( fx+e \right ) }} \right ) ^{{\frac{5}{2}}}+\cos \left ( fx+e \right ) \left ( -2\,{\frac{\cos \left ( fx+e \right ) }{1+\cos \left ( fx+e \right ) }} \right ) ^{{\frac{3}{2}}}- \left ( -2\,{\frac{\cos \left ( fx+e \right ) }{1+\cos \left ( fx+e \right ) }} \right ) ^{{\frac{3}{2}}}-3\,\sqrt{-2\,{\frac{\cos \left ( fx+e \right ) }{1+\cos \left ( fx+e \right ) }}}\cos \left ( fx+e \right ) -3\,\cos \left ( fx+e \right ) \arctan \left ({\frac{1}{\sqrt{-2\,{\frac{\cos \left ( fx+e \right ) }{1+\cos \left ( fx+e \right ) }}}}} \right ) +3\,\sqrt{-2\,{\frac{\cos \left ( fx+e \right ) }{1+\cos \left ( fx+e \right ) }}}+3\,\arctan \left ({\frac{1}{\sqrt{-2\,{\frac{\cos \left ( fx+e \right ) }{1+\cos \left ( fx+e \right ) }}}}} \right ) \right ) \left ({\frac{c \left ( -1+\cos \left ( fx+e \right ) \right ) }{\cos \left ( fx+e \right ) }} \right ) ^{-{\frac{3}{2}}} \left ( -2\,{\frac{\cos \left ( fx+e \right ) }{1+\cos \left ( fx+e \right ) }} \right ) ^{-{\frac{3}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sec \left (f x + e\right )}{{\left (a \sec \left (f x + e\right ) + a\right )}{\left (-c \sec \left (f x + e\right ) + c\right )}^{\frac{3}{2}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 0.617447, size = 857, normalized size = 7.02 \begin{align*} \left [-\frac{3 \, \sqrt{2} \sqrt{-c}{\left (\cos \left (f x + e\right ) - 1\right )} \log \left (\frac{2 \, \sqrt{2}{\left (\cos \left (f x + e\right )^{2} + \cos \left (f x + e\right )\right )} \sqrt{-c} \sqrt{\frac{c \cos \left (f x + e\right ) - c}{\cos \left (f x + e\right )}} +{\left (3 \, c \cos \left (f x + e\right ) + c\right )} \sin \left (f x + e\right )}{{\left (\cos \left (f x + e\right ) - 1\right )} \sin \left (f x + e\right )}\right ) \sin \left (f x + e\right ) + 4 \,{\left (\cos \left (f x + e\right )^{2} - 3 \, \cos \left (f x + e\right )\right )} \sqrt{\frac{c \cos \left (f x + e\right ) - c}{\cos \left (f x + e\right )}}}{16 \,{\left (a c^{2} f \cos \left (f x + e\right ) - a c^{2} f\right )} \sin \left (f x + e\right )}, \frac{3 \, \sqrt{2} \sqrt{c}{\left (\cos \left (f x + e\right ) - 1\right )} \arctan \left (\frac{\sqrt{2} \sqrt{\frac{c \cos \left (f x + e\right ) - c}{\cos \left (f x + e\right )}} \cos \left (f x + e\right )}{\sqrt{c} \sin \left (f x + e\right )}\right ) \sin \left (f x + e\right ) - 2 \,{\left (\cos \left (f x + e\right )^{2} - 3 \, \cos \left (f x + e\right )\right )} \sqrt{\frac{c \cos \left (f x + e\right ) - c}{\cos \left (f x + e\right )}}}{8 \,{\left (a c^{2} f \cos \left (f x + e\right ) - a c^{2} f\right )} \sin \left (f x + e\right )}\right ] \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \frac{\int \frac{\sec{\left (e + f x \right )}}{- c \sqrt{- c \sec{\left (e + f x \right )} + c} \sec ^{2}{\left (e + f x \right )} + c \sqrt{- c \sec{\left (e + f x \right )} + c}}\, dx}{a} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.60222, size = 177, normalized size = 1.45 \begin{align*} -\frac{\sqrt{2}{\left (3 \, \sqrt{c} \arctan \left (\frac{\sqrt{c \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{2} - c}}{\sqrt{c}}\right ) - 2 \, \sqrt{c \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{2} - c} - \frac{\sqrt{c \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{2} - c}}{\tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{2}}\right )}}{8 \, a c^{2} f \mathrm{sgn}\left (\tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{2} - 1\right ) \mathrm{sgn}\left (\tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]